Finally, in papers on the " Mathematical Formulation of the Quantum Theory of Electromagnetic Interaction " in 1950 and " An Operator Calculus Having Applications in Quantum Electrodynamics " in 1951, he developed the mathematical basis of his ideas, derived familiar formulae and advanced new ones.